Dict(
	[16, 2, 10, 14, 12, 1, 1, 16, 1, 1] => QQFieldElem[3//128, 0, 0, 0])